On a Formal Treatment of Deception in Argumentative Dialogues
نویسندگان
چکیده
This paper formalizes a dialogue that includes dishonest arguments in persuasion. We propose a dialogue model that uses a predicted opponent model and define a protocol using this prediction with an abstract argumentation framework. We focus on deception as dishonesty; that is, the case in which an agent hides her knowledge. We define the concepts of dishonest argument and suspicious argument by means of the acceptance of arguments in this model. We show how a dialogue including dishonest arguments proceeds according to the protocol and discuss a condition for a dishonest argument to be accepted without being revealed.
منابع مشابه
Formal semantics of speech acts for argumentative dialogues
In this paper, we give formal semantics to speech acts for argumentative dialogues in the context of an agent-oriented programming language. Our approach to giving formal semantics to such speech acts uses operational semantics and builds upon existing work that provides computationally grounded semantics for agent mental attitudes such as beliefs and goals.
متن کاملA dialogue-game for agent resolving conflicts by verbal means
We present in this paper a formal framework for argumentationbased dialogues between agents. These latter manage the dialogues with the help of three components: an argumentative component to generate arguments, a social component to interprete arguments, and a conventional component to manage the sequence of coherent moves. We formalize the notion of dialogue-game to address the gap between in...
متن کاملExplanatory dialogues with argumentative faculties over inconsistent knowledge bases
We introduce a formal model of explanatory dialogue called EDS. We extend this model by including argumentation capacities to facilitate knowledge acquisition in inconsistent knowledge bases. To prove the relevance of such model we provide the dalek (DiALectical Explanation in Knowledge-bases) framework that implements this model. We show the usefulness of the framework on a real-world applicat...
متن کاملTowards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract)
In the paper, we show a formal model for a dialogue game in which players can perform actions representing locutions like claim, question, concede as well as locutions which have a greater emotional charge like scold or nod. We define a protocol for dialogues in which participants have emotional skills and then give an interpreted system for them. Finally, we propose an extension of CTL logic w...
متن کاملArgQL: A Declarative Language for Querying Argumentative Dialogues
We introduce ArgQL, a declarative query language, which performs on a data model designed according to the principles of argumentation. Its syntax is based on Cypher (language for graph databases) and SPARQL 1.1 and is adjusted for querying dialogues, composed by sets of arguments and their interrelations. We use formal semantics to show how queries in ArgQL match against data in the argumentat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016